Kunihiko Hiraishi: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Stabilization of Finite Automata with Application to Hybrid Systems Control

Koichi Kobayashi, Jun-ichi Imura, Kunihiko Hiraishi

Journal:

Discrete Event Dynamic Systems

Year:

2011

Language:

english

File:

PDF, 516 KB

english, 2011

2

Probabilistic-constrained optimal control of a class of stochastic hybrid systems

Koichi Kobayashi, Koichiro Matou, Kunihiko Hiraishi

Journal:

International Journal of Control, Automation and Systems

Year:

2012

Language:

english

File:

PDF, 910 KB

english, 2012

3

[IEEE 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC) - Miyazaki, Japan (2018.10.7-2018.10.10)] 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC) - Information Supervisory Control of Human Behavior - A Formal Model and Simulation

Hiraishi, Kunihiko, Uchihira, Naoshi, Choe, Sunseong, Kobayashi, Koichi

Year:

2018

Language:

english

File:

PDF, 486 KB

english, 2018

4

A Class of Petri Nets That a Necessary and Sufficient Condition for Reachability is Obtainable

HIRAISHI, Kunihiko, ICHIKAWA, Atsunobu

Journal:

Transactions of the Society of Instrument and Control Engineers

Year:

1988

Language:

english

File:

PDF, 775 KB

english, 1988

5

[IEEE 2019 58th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE) - Hiroshima, Japan (2019.9.10-2019.9.13)] 2019 58th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE) - Process mining approach for the conformance checking of discrete-event simulation model

Uehara, Kenji, Hiraishi, Kunihiko

Year:

2019

Language:

english

File:

PDF, 538 KB

english, 2019

6

[IEEE 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC) - Bari, Italy (2019.10.6-2019.10.9)] 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC) - Spatio-Temporal Situation Recognition in Service Fields - Validation by Discrete-event Simulation

Hiraishi, Kunihiko

Year:

2019

File:

PDF, 351 KB

2019

7

Efficient analysis of concurrent systems by Petri nets

Kunihiko Hiraishi

Journal:

Electronics and Communications in Japan (Part III: Fundamental Electronic Science))

Year:

1998

Language:

english

File:

PDF, 178 KB

english, 1998

8

Some complexity results on transition systems and elementary net systems

Kunihiko Hiraishi

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 941 KB

english, 1994

9

An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks

Koichi Kobayashi, Kunihiko Hiraishi

Journal:

Year:

2011

Language:

english

File:

PDF, 302 KB

english, 2011

10

Scheduling of parallel identical machines to maximize the weighted number of just-in-time jobs

Kunihiko Hiraishi, Eugene Levner, Milan Vlach

Journal:

Computers & Operations Research

Year:

2002

Language:

english

File:

PDF, 112 KB

english, 2002

11

On structural conditions for weak persistency and semilinearity of Petri nets

Kunihiko Hiraishi, Atsunobu Ichikawa

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 856 KB

english, 1992

12

Synthesis of Supervisors Using Learning Algorithm of Regular Languages

Kunihiko Hiraishi

Journal:

Discrete Event Dynamic Systems

Year:

2001

Language:

english

File:

PDF, 201 KB

english, 2001

13

Information structuring and its implementations on a research decision support system

Mitsuhiko Toda, Kunihiko Hiraishi, Toramatsu Shintani, Yoshinori Katayama

Journal:

Decision Support Systems

Year:

1991

Language:

english

File:

PDF, 1.11 MB

english, 1991

14

A constraint logic programming language keyed CLP and its applications to decision making problems in OR/MS

Kunihiko Hiraishi

Journal:

Decision Support Systems

Year:

1995

Language:

english

File:

PDF, 806 KB

english, 1995

15

Dual Decomposition for Vietnamese Part-of-Speech Tagging

Bach, Ngo Xuan, Hiraishi, Kunihiko, Le Minh, Nguyen, Shimazu, Akira

Journal:

Procedia Computer Science

Year:

2013

Language:

english

File:

PDF, 756 KB

english, 2013

16

Simulating Markovian stochastic Petri Nets by difference equations with interval parameters

Hiraishi, Kunihiko

Journal:

Discrete Event Dynamic Systems

Year:

2015

Language:

english

File:

PDF, 2.09 MB

english, 2015

17

[IEEE IECON 2012 - 38th Annual Conference of IEEE Industrial Electronics - Montreal, QC, Canada (2012.10.25-2012.10.28)] IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society - Design of networked control systems using a stochastic switching systems approach

Kobayashi, Koichi, Hiraishi, Kunihiko

Year:

2012

Language:

english

File:

PDF, 730 KB

english, 2012

18

An approximation algorithm for box abstraction of transition systems on real state spaces

Kunihiko Hiraishi,Koich Kobayashi

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 668 KB

english, 2013

19

An optimization-based approach to sampled-data control of networked control systems with multiple delays

Kobayashi, Koichi, Hiraishi, Kunihiko

Journal:

Applied Mathematics and Computation

Year:

2014

Language:

english

File:

PDF, 522 KB

english, 2014

20

[IEEE 2014 IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA) - San Antonio, TX, USA (2014.3.3-2014.3.6)] 2014 IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA) - Behavior modeling in physical and adaptive intelligent services

Hiraishi, Kunihiko, Kobayashi, Koichi, Choe, Sunseong, Uchihira, Naoshi

Year:

2014

File:

PDF, 916 KB

2014

21

[IEEE 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) - Orlando, FL, USA (2011.12.12-2011.12.15)] IEEE Conference on Decision and Control and European Control Conference - Optimal control of a class of stochastic hybrid systems with probabilistic constraints

Kobayashi, Koichi, Matou, Koichiro, Hiraishi, Kunihiko

Year:

2011

Language:

english

File:

PDF, 262 KB

english, 2011

22

[IEEE NOMS 2014 - 2014 IEEE/IFIP Network Operations and Management Symposium - Krakow, Poland (2014.5.5-2014.5.9)] 2014 IEEE Network Operations and Management Symposium (NOMS) - Improving reliability in management of cloud computing infrastructure by formal methods

Kikuchi, Shinji, Hiraishi, Kunihiko

Year:

2014

Language:

english

File:

PDF, 496 KB

english, 2014

23

[IEEE 2010 49th IEEE Conference on Decision and Control (CDC) - Atlanta, GA, USA (2010.12.15-2010.12.17)] 49th IEEE Conference on Decision and Control (CDC) - Optimal control of context-sensitive probabilistic Boolean networks using integer programming

Kobayashi, Koichi, Hiraishi, Kunihiko

Year:

2010

Language:

english

File:

PDF, 138 KB

english, 2010

24

[IEEE 2012 Third International Conference on Networking and Computing (ICNC) - Okinawa, Japan (2012.12.5-2012.12.7)] 2012 Third International Conference on Networking and Computing - A Petri Net-Based Approach to Control of Boolean Networks

Kobayashi, Koichi, Hiraishi, Kunihiko

Year:

2012

Language:

english

File:

PDF, 177 KB

english, 2012

25

[IEEE Control (MSC) - Yokohama, Japan (2010.09.8-2010.09.10)] 2010 IEEE International Conference on Control Applications - MLD-based modeling and MPC of discrete-time hybrid systems with stochastic mode transitions

Kobayashi, Koichi, Hiraishi, Kunihiko

Year:

2010

Language:

english

File:

PDF, 297 KB

english, 2010

26

Modeling and design of networked control systems using a stochastic switching systems approach

Kobayashi, Koichi, Hiraishi, Kunihiko

Journal:

IEEJ Transactions on Electrical and Electronic Engineering

Year:

2014

Language:

english

File:

PDF, 210 KB

english, 2014

27

[IEEE 2014 European Control Conference (ECC) - Strasbourg, France (2014.6.24-2014.6.27)] 2014 European Control Conference (ECC) - Design of Boolean networks based on prescribed singleton attractors

Kobayashi, Koichi, Hiraishi, Kunihiko

Year:

2014

Language:

english

File:

PDF, 142 KB

english, 2014

28

[IEEE 2013 IEEE 52nd Annual Conference on Decision and Control (CDC) - Firenze (2013.12.10-2013.12.13)] 52nd IEEE Conference on Decision and Control - Discrete abstraction for a class of stochastic hybrid systems based on bounded bisimulation

Kobayashi, Koichi, Fukui, Yasuhito, Hiraishi, Kunihiko

Year:

2013

Language:

english

File:

PDF, 189 KB

english, 2013

29

ILP/SMT-Based Method for Design of Boolean Networks Based on Singleton Attractors

Kobayashi, Koichi, Hiraishi, Kunihiko

Journal:

IEEE/ACM Transactions on Computational Biology and Bioinformatics

Year:

2014

Language:

english

File:

PDF, 313 KB

english, 2014

30

[IEEE IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society - Vienna, Austria (2013.11.10-2013.11.13)] IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society - Modeling and optimal control of multi-hop control networks based on the MLD framework

Kobayashi, Koichi, Hiraishi, Kunihiko

Year:

2013

Language:

english

File:

PDF, 173 KB

english, 2013

31

[IEEE IECON 2012 - 38th Annual Conference of IEEE Industrial Electronics - Montreal, QC, Canada (2012.10.25-2012.10.28)] IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society - Self-triggered model predictive control with delay compensation for networked control systems

Kobayashi, Koichi, Hiraishi, Kunihiko

Year:

2012

Language:

english

File:

PDF, 844 KB

english, 2012

32

[IEEE IECON 2007 - 33rd Annual Conference of the IEEE Industrial Electronics Society - Taipei, Taiwan (2007.11.5-2007.11.8)] IECON 2007 - 33rd Annual Conference of the IEEE Industrial Electronics Society - Performance Evaluation of Workflows Using Fluid Flow Approximation of Discrete Sets and Probability Distributions

Hiraishi, Kunihiko

Year:

2007

Language:

english

File:

PDF, 2.54 MB

english, 2007

33

[IEEE 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) - Orlando, FL, USA (2011.12.12-2011.12.15)] IEEE Conference on Decision and Control and European Control Conference - Probabilistic control of Boolean networks with multiple dynamics: Towards control of gene regulatory networks

Kobayashi, Koichi, Hiraishi, Kunihiko

Year:

2011

Language:

english

File:

PDF, 135 KB

english, 2011

34

[IEEE IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society - Vienna, Austria (2013.11.10-2013.11.13)] IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society - Controller design of networked control systems with multiple delays using interval methods

Kobayashi, Koichi, Hiraishi, Kunihiko

Year:

2013

Language:

english

File:

PDF, 198 KB

english, 2013

35

[IEEE 2011 IEEE International Conference on Systems, Man and Cybernetics - SMC - Anchorage, AK, USA (2011.10.9-2011.10.12)] 2011 IEEE International Conference on Systems, Man, and Cybernetics - Formal verification of business processes with temporal and resource constraints

Watahiki, Kenji, Ishikawa, Fuyuki, Hiraishi, Kunihiko

Year:

2011

Language:

english

File:

PDF, 1.40 MB

english, 2011

36

[IEEE SICE Annual Conference 2007 - Takamatsu, Japan (2007.09.17-2007.09.20)] SICE Annual Conference 2007 - Application of DES theory to verification of software components

Kunihiko Hiraishi,, Kucera, Petr

Year:

2007

Language:

english

File:

PDF, 351 KB

english, 2007

37

[IEEE IECON 2011 - 37th Annual Conference of IEEE Industrial Electronics - Melbourne, Vic, Australia (2011.11.7-2011.11.10)] IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society - A symbolic approach to probabilistic verification of boolean networks

Kobayashi, Koichi, Hiraishi, Kunihiko

Year:

2011

Language:

english

File:

PDF, 188 KB

english, 2011

38

[IEEE 2009 American Control Conference - St. Louis, MO, USA (2009.06.10-2009.06.12)] 2009 American Control Conference - Analysis and control of hybrid systems with parameter uncertainty based on interval methods

Kobayashi, Koichi, Hiraishi, Kunihiko

Year:

2009

Language:

english

File:

PDF, 428 KB

english, 2009

39

[IEEE 2012 IEEE International Conference on Systems, Man and Cybernetics - SMC - Seoul, Korea (South) (2012.10.14-2012.10.17)] 2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC) - Modeling of complex processes in nursing and caregiving services

Hiraishi, Kunihiko, Choe, Sunseong, Torii, Kentaro, Uchihira, Naoshi, Tanaka, Toshiaki

Year:

2012

Language:

english

File:

PDF, 667 KB

english, 2012

40

[IEEE 2014 IEEE 13th International Workshop on Advanced Motion Control (AMC) - Yokohama, Japan (2014.03.14-2014.03.16)] 2014 IEEE 13th International Workshop on Advanced Motion Control (AMC) - Self-triggered optimal control of linear systems using convex quadratic programming

Kobayashi, Koichi, Hiraishi, Kunihiko

Year:

2014

Language:

english

File:

PDF, 621 KB

english, 2014

41

[IEEE 2006 SICE-ICASE International Joint Conference - Busan Exhibition & Convention Center-BEXCO, Busan, Korea (2006.10.18-2006.10.21)] 2006 SICE-ICASE International Joint Conference - A Wavelet Approach for Solving linear quadratic optimal control problems

Jaddu, Hussein, Hiraishi, Kunihiko

Year:

2006

Language:

english

File:

PDF, 3.22 MB

english, 2006

42

[IEEE SICE 2008 - 47th Annual Conference of the Society of Instrument and Control Engineers of Japan - Chofu (2008.08.20-2008.08.22)] 2008 SICE Annual Conference - Explicit modeling of mode transition constraints for model predictive control

Koichi Kobayashi,, Kunihiko Hiraishi,

Year:

2008

Language:

english

File:

PDF, 277 KB

english, 2008

43

[IEEE 2013 IEEE 52nd Annual Conference on Decision and Control (CDC) - Firenze (2013.12.10-2013.12.13)] 52nd IEEE Conference on Decision and Control - Optimal control of multi-vehicle systems with LTL specifications

Kobayashi, Koichi, Nagami, Takuro, Hiraishi, Kunihiko

Year:

2013

Language:

english

File:

PDF, 176 KB

english, 2013

44

[IEEE 2009 American Control Conference - St. Louis, MO, USA (2009.06.10-2009.06.12)] 2009 American Control Conference - Polynomial-time controllability analysis of Boolean networks

Kobayashi, Koichi, Imura, Jun-ichi, Hiraishi, Kunihiko

Year:

2009

Language:

english

File:

PDF, 669 KB

english, 2009

45

[IEEE IECON 2011 - 37th Annual Conference of IEEE Industrial Electronics - Melbourne, Vic, Australia (2011.11.7-2011.11.10)] IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society - Simulating stochastic discrete event systems by difference equations with interval parameters

Hiraishi, Kunihiko

Year:

2011

Language:

english

File:

PDF, 922 KB

english, 2011

46

Intestinal Myofibroblast TRPC6 Channel May Contribute to Stenotic Fibrosis in Crohnʼs Disease

Kurahara, Lin Hai, Sumiyoshi, Miho, Aoyagi, Kunihiko, Hiraishi, Keizo, Nakajima, Kyoko, Nakagawa, Midori, Hu, Yaopeng, Inoue, Ryuji

Journal:

Inflammatory Bowel Diseases

Year:

2015

Language:

english

File:

PDF, 1.17 MB

english, 2015

47

Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological Networks

Kobayashi, Koichi, Imura, Jun-Ichi, Hiraishi, Kunihiko

Journal:

EURASIP Journal on Bioinformatics and Systems Biology

Year:

2010

Language:

english

File:

PDF, 397 KB

english, 2010

48

Self-Triggered Model Predictive Control Using Optimization with Prediction Horizon One

Kobayashi, Koichi, Hiraishi, Kunihiko

Journal:

Mathematical Problems in Engineering

Year:

2013

Language:

english

File:

PDF, 333 KB

english, 2013

49

Computational Techniques for Model Predictive Control of Large-Scale Systems with Continuous-Valued and Discrete-Valued Inputs

Kobayashi, Koichi, Hiraishi, Kunihiko

Journal:

Journal of Applied Mathematics

Year:

2013

Language:

english

File:

PDF, 348 KB

english, 2013

50

Verification of Opacity and Diagnosability for Pushdown Systems

Kobayashi, Koichi, Hiraishi, Kunihiko

Journal:

Journal of Applied Mathematics

Year:

2013

Language:

english

File:

PDF, 347 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски